$\forall$$L$:(Realizer List), $B$:Realizer. ($\forall$$A$$\in$$L$. $A$ $\parallel$ $B$) $\Rightarrow$ $\oplus$($L$) $\parallel$ $B$